1361. The structure and design of programming languages
پدیدآورنده : Nicholls, John E.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Programming languages )Electronic computers(
رده :
QA
76
.
7
.
N5
1362. The structure and design of programming languages
پدیدآورنده : / John E. Nicholls
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Programming languages (Electronic computers)
رده :
001
.
6424
N614S
1363. The structure and design of programming languages
پدیدآورنده : Nicholls, John E
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Programming languages )Electronic computers(
رده :
QA
76
.
7
.
N5
1364. The structure and design of programming languages
پدیدآورنده : Nicholls, John E
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Programming languages )Electronic computers(
رده :
QA
76
.
7
.
N5
1365. <The> structure and design of programming languages
پدیدآورنده : / John E. Nicholls
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Programming languages(Electronic computers).
رده :
QA76
.
7
.
N5
1366. The study of programming languages
پدیدآورنده : Stansifer, Ryan D.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Programming languages )Electronic computers(
رده :
QA
76
.
7
.
S72
1994
1367. Theoretical aspects of object-oriented programming : types, semantics, and language design
پدیدآورنده : edited by Carl A. Gunter and John C. Mitchell
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Object-oriented programming )Computer science(,، Programming languages )Electronic computers(
رده :
QA
76
.
64
.
T4
1368. Theories of programming languages
پدیدآورنده : Reynolds, John C.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Programming languages )Electronic computers(
رده :
QA
76
.
7
.
R495
1998
1369. Theories of programming languages
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Programming languages (Electronic computers) ;
1370. Theories of programming languages
پدیدآورنده : / John C. Reynolds
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Programming languages (Electronic computers)
رده :
QA
,
76
.
7
,.
R495
,
1998
1371. Theory of computation
پدیدآورنده : Brainerd, Walter S
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)
موضوع : ، Sequential machine theory,، Recursive functions,، Programming languages ) Electronic computers (
رده :
QA
267
.
5
.
S4
B68
1372. Theory of computation
پدیدآورنده : Brainerd, Walter S
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Sequential machine theory,، Recursive functions,، Programming languages )Electronic computers(
رده :
QA
267
.
5
.
S4
B68
1373. Thinking in LINQ :
پدیدآورنده : Sudipta Mukherjee
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Programming languages (Electronic computers),Query languages (Computer science)
رده :
QA76
.
7
1374. Threaded interpretive languages: their desing and implementation
پدیدآورنده : Loeliger, R. G
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Programming languages )Electronic computers(,، Interpreters )Computer programs(
رده :
QA
76
.
7
.
L63
1375. Time-shared computer languages: an introduction to conversational computing
پدیدآورنده : Schur, Lee David
موضوع : ، Programming languages )Electronic computers(,، Time-sharing computer systems
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
1376. Towards a formal description of Ada
پدیدآورنده : edited by D. Bjorner and O.N. Oest
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Ada )Computer program language(,، Programming languages )Electronic computers( - Semantics
رده :
QA
76
.
L4
v
.
98
1377. Towards a formal description of Ada
پدیدآورنده : edited by D. Bjørner and O.N. Oest.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Ada (Computer program language),ADA.,Programming languages (Electronic computers) -- Semantics.
رده :
QA76
.
73
.
A35
E358
1980
1378. Transactions on pattern languages of programming II
پدیدآورنده : James Noble ... [et al.] (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Programming languages (Electronic computers),Software engineering,Software patterns
رده :
QA76
.
76
.
P37
T73
2011
1379. Transactions on pattern languages of programming IV /
پدیدآورنده : James Noble, Ralph Johnson, Uwe Zdun, Eugene Wallingford (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Programming languages (Electronic computers),Software patterns.,Programming languages (Electronic computers),Software patterns.
رده :
QA76
.
76
.
P37
1380. Transitioning to Swift /
پدیدآورنده : Scott Gardner
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Application software-- Development,Programming languages (Electronic computers)
رده :
QA76
.
76
.
A65
